Component-free vector algebra in Aldor

Rule-Based Simplification in Vector-Product Spaces

A vector-product space is a component-free representation of the common three-dimensional Cartesian vector space. The components of the vectors are invisible and formally inaccessible, although expressions for the components could be constructed. Expressions that have been built from the scalar and vector products can be simplified using a rule-based system. In order to develop and specify the ...

Parametric Polymorphism for Computer Algebra Software Components

This paper presents our experiments in providing mechanisms for parametric polymorphism for computer algebra software components. Specific interfaces between Aldor and C++ and between Aldor and Maple are described. We then present a general solution, Generic IDL (GIDL), an extension to CORBA IDL supporting generic types. We describe our language bindings for C++, Java 1.5 and Aldor as well as a...

Parallelism and Aldor: a Rst Report of It

We describe the implementation of , a library for parallel computations in Aldor. In the poster, both design and experimentations on linear algebra examples are presented.

A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple–aldor Environment

We have undertaken to study the problems which arise in the tight coupling of computer algebra systems. By this we mean having multiple computer algebra systems share the same address space so that objects created by one system can be passed passed by reference in calls to another system. As an interesting practical problem, we have explored the case of using Aldor code from within the Maple sy...

Integrating Computer Algebra and Reasoning through the Type System of Aldor